Rob Gerth: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A proof system for concurrent ADA programs

Rob Gerth, Willem P De Roever

Journal:

Science of Computer Programming

Year:

1984

Language:

english

File:

PDF, 2.77 MB

english, 1984

2

[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Transition logic

Year:

1984

Language:

english

File:

PDF, 863 KB

english, 1984

3

Evaluation of Impermeable Covers for Bedding in Patients with Allergic Rhinitis

Terreehorst, Ingrid, Hak, Eelko, Oosting, Albert J., Tempels-Pavlica, Zana, de Monchy, Jan G.R., Bruijnzeel-Koomen, Carla A.F.M., Aalberse, Rob C., Gerth van Wijk, Roy

Journal:

Boston Medical and Surgical Journal

Year:

2003

Language:

english

File:

PDF, 113 KB

english, 2003

4

Partial-order Reduction Techniques for Real-time Model Checking

Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 120 KB

english, 1998

5

Sequential consistency and the lazy caching algorithm

Journal:

Distributed Computing

Year:

1999

Language:

english

File:

PDF, 57 KB

english, 1999

6

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

7

Improving Partial Order Reductions for Universal Branching Time Properties

Penczek, Wojciech, Szreter, Maciej, Gerth, Rob, Kuiper, Ruurd

Journal:

Fundamenta Informaticae

Year:

2000

File:

PDF, 1.13 MB

2000

8

The bounded retransmission protocol revisited: (extended abstract, revised July 1, 1999)

Dennis Dams, Rob Gerth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 28 KB

1997

9

Effect of mattress encasings on atopic dermatitis outcome measures in a double-blind, placebo-controlled study: The Dutch mite avoidance study

Oosting, Albert-Jan, de Bruin-Weller, Marjolein S., Terreehorst, Ingrid, Tempels-Pavlica, Zana, Aalberse, Rob C., de Monchy, Jan G.R., van Wijk, Roy Gerth, Bruijnzeel-Koomen, Carla A.F.M.

Journal:

Journal of Allergy and Clinical Immunology

Year:

2002

Language:

english

File:

PDF, 126 KB

english, 2002

10

Abstract interpretation of reactive systems

Dams, Dennis, Gerth, Rob, Grumberg, Orna

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 489 KB

english, 1997

11

[Lecture Notes in Computer Science] Theoretical and Practical Aspects of SPIN Model Checking Volume 1680 ||

Dams, Dennis, Gerth, Rob, Leue, Stefan, Massink, Mieke

Year:

1999

Language:

english

File:

PDF, 4.26 MB

english, 1999

12

[Lecture Notes in Computer Science] Theoretical and Practical Aspects of SPIN Model Checking Volume 1680 || VIP: A Visual Interface for Promela

Dams, Dennis, Gerth, Rob, Leue, Stefan, Massink, Mieke

Year:

1999

Language:

english

File:

PDF, 45 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски